x86: No need to vcpu_update_system_time() on map_vcpu_info().
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Jul 2008 16:56:25 +0000 (17:56 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Jul 2008 16:56:25 +0000 (17:56 +0100)
commit991ead8fa2da51235a7e8430cdc41985656d6380
treed88007e6111c57b9b7efb28785b4364db71eb1e2
parentcd99b8bf59292e3359dc65e32944226181792998
x86: No need to vcpu_update_system_time() on map_vcpu_info().
Also, ensure update_vcpu_system_time() triggers at least once for any
given vcpu, even if the TSC stamp is zero.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/domain.c